Control logic - PDFSEARCH.IO - Document Search Engine

Control logic
Results: 840

#	Item
261	HOW TO INCORPORATE UNCERTAINTY AND RISK INTO DECISION-MAKING Prof. Jacqueline McGlade, Dept of Mathematics, University College London, London WC1E 6BT Policy-makers and planners have to make decisions in the face of vary Add to Reading List Source URL: www.discoverysoftware.co.uk Language: English - Date: 2013-02-11 03:31:39 Mathematical logic Fuzzy logic Probability interpretations Probability theory Logic in computer science Inference Fuzzy control system Neuro-fuzzy Expert system Logic Artificial intelligence Science
262	International Conference on Computing in High Energy and Nuclear Physics (CHEP’07) IOP Publishing Journal of Physics: Conference Seriesdoi:The CMS Tracker Control Syst Add to Reading List Source URL: cp3.irmp.ucl.ac.be Language: English - Date: 2012-05-03 02:57:41 Industrial automation CERN Large Hadron Collider Programmable logic controller Distributed control system Instrumentation LHCb Control system Data acquisition Technology Automation Control engineering
263	A research and education initiative at the MIT Sloan School of Management Delegation Logic: A Logic-based Approach to Distributed Authorization Paper 115 Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:25 Access control Key management Simple public key infrastructure Authentication PERMIS Authorization Credential Lightweight Directory Access Protocol Trust management Security Identity management Computer security
264	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-09-24 15:45:22 Signal processing Control theory Digital signal processing Filter theory Root locus Nyquist stability criterion Digital filter Frequency response Digital control Electrical engineering Electromagnetism Electronic engineering
265	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
266	Axiomatizing Higher Level Delimited Continuation Yukiyoshi Kameyama Institute of Information Sciences and Electronics University of Tsukuba Tsukuba, Japan and Japan Science and Technology Agency Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:54 Computer programming Mathematics Delimited continuation Continuation-passing style Function Mathematical logic Sheaf Continuation Software engineering Continuations Control flow
267	Microsoft PowerPoint - Control_Program_Analysis Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2009-03-17 09:38:59 Hoare logic State space Systems science Control theory Systems theory Science
268	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
269	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
270	ADEOS-II AMSR Soil Moisture Algorithm E. Njoku Jet Propulsion Laboratory The soil moisture algorithm involves a series of steps beginning with quality control of the input data followed by re-sampling of the data, surfac Add to Reading List Source URL: sharaku.eorc.jaxa.jp Language: English - Date: 2005-10-06 06:38:51 Algorithm Mathematical logic Theoretical computer science Water content Soil Flowchart Technology Chemistry Science Hydrology

UPDATE